<div>
    L'URL da cui scaricare lo strumento in formato binario.
    Deve essere un file ZIP o un file TAR compresso con GZip.
    Il timestamp sul server sarà confrontato con la versione locale (se presente)
    in modo da consentire una facile pubblicazione degli aggiornamenti.
    L'URL deve essere accessibile dal master Jenkins, ma non è necessario che
    sia accessibile dagli agenti.
</div>
